• Home
• Categories
• Model Theory

Model Theory

Logisim to DEVS translation

Model Theory / Interoperability / Validity / Logic circuits

Download

Compositional model-theoretic semantics for logic programs

Cognitive Science / Model Theory / Computer Software

Download

FIERAsystem Enclosed Pool Fire Development Model: Theory Report

Model Theory

Download

A general semantics for quantified modal logic

Modal Logic / Model Theory / Lower Bound

Download

Alegatos contra el superplatonismo de Balaguer

Model Theory / Metaphysics / Mathematical Platonism / Benacerraf's Dilemma / Superplatonism

Download